Implementing Refactorings in the Spoofax Language Workbench
نویسندگان
چکیده
Spoofax is a language workbench for efficient development of textual domain-specific languages together with state-of-the-art IDE support. Spoofax integrates language and IDE development into a single environment, using concise, declarative specifications for languages and IDE services. We are extending Spoofax with a framework for the implementation of refactorings. The current paper gives an overview of the framework and demonstrates the implementation of refactorings for languages developed using Spoofax.
منابع مشابه
Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench
Language workbenches are tools that help language designers to design and implement (domain-specific) programming languages, aiming to produce a full featured programming environment from a high-level language description. A recent paper, resulting from a series of language workbench challenge workshops, describes a collection of benchmark problems for language workbench research [6]. In this p...
متن کاملEpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax
This paper presents EpiSpin: an Eclipse plug-in for editing Promela models. It provides error markers as you type, various editor services and an interface to perform verification and simulation runs using Spin. An additional tool shows the static relations between channels, processes and global variables. These tools have been built using the Spoofax language workbench.
متن کاملModel-driven Java code refactoring
Refactoring is an important technique for restructuring code to improve its design and increase programmer productivity and code reuse. Performing refactorings manually, however, is tedious, time consuming and error-prone. Thus, providing an automated support for them is necessary. Unfortunately even in our days, such automation is still not easily achieved and requires formal specifications of...
متن کاملErweiterung eines Open Source Language Workbenchs um Funktionen zur Migration von Modellen einer domänenspezifischen Sprache
Es wurde ein Konzept zur Generierung von Migrationsskripten bei der Evolution einer domänenspezifischen Sprache entwickelt. Das Konzept ermöglicht es zu erkennen, welche Transformationen unresolvable sind und damit das Eingreifen einer Person erfordern. Die Implementierung des Konzepts basiert auf dem Spoofax Language Workbench, welcher Open Source ist. Dieses Paper präsentiert die Erfahrungen ...
متن کاملA Language Independent Task Engine for Incremental Name and Type Analysis
IDEs depend on incremental name and type analysis for responsive feedback for large projects. In this paper, we present a languageindependent approach for incremental name and type analysis. Analysis consists of two phases. The first phase analyzes lexical scopes and binding instances and creates deferred analysis tasks. A task captures a single name resolution or type analysis step. Tasks migh...
متن کامل